Defect evolution in a product line environment q Marvin
نویسندگان
چکیده
One mechanism used for monitoring the development of the Space Shuttle flight control software, in order to minimize any risks to the missions, is the independent verification and validation (IV&V) process. Using data provided by both the Shuttle software developer and the IV&V contractor, in this paper we describe the overall IV&V process as used on the Space Shuttle program and provide an analysis of the use of metrics to document and control this process over multiple releases of this software. Our findings reaffirm the value of IV&V, show the impact of IV&V on multiple releases of a large complex software system, and indicate that some of the traditional measures of defect detection and repair are not applicable in a multiple-release environment such as this one. 2003 Elsevier Inc. All rights reserved.
منابع مشابه
An Approach to Detect the Origin and Distribution of Software Defects in an Evolving Cyber-Physical System
Cyber-Physical Systems (CPS) are usually developed by an incremental approach. A changing environment like demanding user requirements or legislation amendments lead often to multiple development paths in an evolving CPS. Hence, software variability plays an increasingly important role adapting the characteristics of such CPS to different contexts. This paper focuses on software variability rea...
متن کاملTuning of Extended Kalman Filter using Self-adaptive Differential Evolution Algorithm for Sensorless Permanent Magnet Synchronous Motor Drive
In this paper, a novel method based on a combination of Extended Kalman Filter (EKF) with Self-adaptive Differential Evolution (SaDE) algorithm to estimate rotor position, speed and machine states for a Permanent Magnet Synchronous Motor (PMSM) is proposed. In the proposed method, as a first step SaDE algorithm is used to tune the noise covariance matrices of state noise and measurement noise i...
متن کاملTracking Evolution in Model-based Product Lines
Software product lines are complex and need to be maintained and evolved over many years. New customer requirements, new products derived, technology changes, and internal enhancements lead to continuous changes of the artifacts and models constituting a product line. Managing such changes therefore becomes a key issue during a product line’s evolution. We propose an approach that supports mult...
متن کاملDefinitions , Axioms , Postulates , Propositions , and Theorems from Euclidean and Non - Euclidean Geometries by Marvin Jay
Logic Rule 0 No unstated assumptions may be used in a proof. Logic Rule 1 Allowable justifications. 1. “By hypothesis . . . ”. 2. “By axiom . . . ”. 3. “By theorem . . . ” (previously proved). 4. “By definition . . . ”. 5. “By step . . . ” (a previous step in the argument). 6. “By rule . . . ” of logic. Logic Rule 2 Proof by contradiction (RAA argument). Logic Rule 3 The tautology ∼ (∼ S)⇐⇒ S L...
متن کاملArchitectural Evolution of a Software Product Line: an experience report
This work presents an experience report on the architectural decisions taken in the evolution of a Software Product Line (SPL) of Model-based Testing tools (PLeTs). This SPL was partially designed and developed with the intention of minimizing effort and time-to-market during the development of a family of performance testing tools. With the evolution of our research and the addition of new fea...
متن کامل